Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
271	Overview Model Checking Approaches Algorithmic Verification Comp4151 Lecture 11-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:09 Uppaal Model Checker Finite-state machine Ansgar Clock Christianity Middle Ages Automata theory Model checkers Model checking
272	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
273	RE-Tree: An Efficient Index Structure for Regular Expressions Chee-Yong Chan, Minos Garofalakis, Rajeev Rastogi Bell Labs, Lucent Technologies cychan,minos,rastogi @research.bell-labs.com Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 02:03:00 Deterministic finite automaton Finite-state machine Nondeterministic finite automaton Regular expression Alphabet Büchi automaton Automata theory Theory of computation Theoretical computer science
274	Aspect-Oriented Development Using Protocol Modeling Ashley McNeile1 and Ella Roubtsova2 1 Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2010-05-16 13:32:29 UML diagrams Object-oriented programming Automata theory Digital electronics Theoretical computer science Finite-state machine Mixin UML state machine ECO Software engineering Models of computation Computing
275	Two fundamental problems connected with AI Abstract This paper is about two fundamental problems in the field of computer science. Solving these two problems is important because it has to do with the creation of Artific Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2007-04-22 07:35:32 Computer science Automata theory Computability theory Theory of computation Algorithm Mathematical logic Halting problem Finite-state machine Determinism Theoretical computer science Models of computation Applied mathematics
276	PDF Document Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2013-04-13 14:11:59 Programming paradigms Models of computation Notation Programming language Abstraction Algorithm Finite-state machine Operating system Spreadsheet Computing Software engineering Computer programming
277	Microsoft Word - fp289-kumar.doc Add to Reading List Source URL: www1.cs.columbia.edu Language: English - Date: 2006-10-10 13:42:44 Applied mathematics Models of computation Spanning tree Deterministic finite automaton Graph coloring Minimum spanning tree Nondeterministic finite automaton Tree Finite-state machine Theoretical computer science Automata theory Mathematics
278	ModelElement (from Core) Argument value : Expression n Add to Reading List Source URL: www.andromda.org Language: English - Date: 2014-09-18 11:52:22 Data modeling Software development Class diagram Classifier Diagram Activity diagram Component Finite-state machine Activity Unified Modeling Language UML diagrams Software engineering
279	Quasi-Weak Cost Functions A New Variant of Weakness Achim Blumensath1 Thomas Colcombet2 Denis Kuperberg3 Christof L¨oding4 Pawel Parys3 Michael Vanden Boom5 1 TU Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-04-30 05:09:51 Formal languages Computer science Nondeterministic finite automaton Finite-state machine Regular language Ω-automaton Automata theory Models of computation Theoretical computer science
280	A Note on Phase Transitions and Computational Pitfalls of Learning from Sequences Antoine Cornu´ejols1 & Mich`ele Sebag2 1 AgroParisTech / INRA Add to Reading List Source URL: eprints.pascal-network.org Language: English - Date: 2008-01-16 05:03:29 Computer science Applied mathematics Deterministic finite automaton Finite-state machine Grammar induction Algorithm Sequence Powerset construction Automata theory Models of computation Theoretical computer science

UPDATE